home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / anglebisectors.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  842 b   |  28 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.581522, -0.105978, "1");
  3. v2 = .free(0.521739, 0.701087, "2");
  4. v3 = .free(0.519022, -0.527174, "3");
  5. l1 = .l.vv(v1, v2);
  6. l2 = .l.vv(v2, v3);
  7. l3 = .l.vv(v3, v1);
  8. c1 = .c.vv(v3, v1, .invisible);
  9. v4 = .v.lc(l2, c1, 1, .invisible, .plus);
  10. v5 = .v.vvmid(v4, v1, .invisible, .plus);
  11. l4 = .l.vv(v3, v5, .invisible);
  12. v6 = .v.ll(l4, l1, .plus);
  13. l5 = .l.vv(v6, v3);
  14. c2 = .c.vv(v2, v3, .invisible);
  15. v7 = .v.lc(l1, c2, 1, .invisible, .plus);
  16. v8 = .v.vvmid(v3, v7, .invisible, .plus);
  17. l6 = .l.vv(v2, v8, .invisible);
  18. v9 = .v.ll(l6, l3, .plus);
  19. l7 = .l.vv(v2, v9);
  20. v10 = .v.ll(l5, l7, .invisible, .plus);
  21. l8 = .l.vv(v1, v10, .invisible);
  22. v11 = .v.ll(l8, l2, .plus);
  23. l9 = .l.vv(v1, v11);
  24. .text("Angle Bisectors:");
  25. .text("");
  26. .text("The three interior angle bisectors of a triangle meet in a");
  27. .text("single point.");
  28.